منابع مشابه
Markov Automata with Multiple Objectives
Markov automata combine non-determinism, probabilistic branching, and exponentially distributed delays. This compositional variant of continuous-time Markov decision processes is used in reliability engineering , performance evaluation and stochastic scheduling. Their verification so far focused on single objectives such as (timed) reachability, and expected costs. In practice, often the object...
متن کاملAnalysis of Timed and Long-Run Objectives for Markov Automata
Markov automata (MAs) extend labelled transition systems with random de-lays and probabilistic branching. Action-labelled transitions are instantaneous and yielda distribution over states, whereas timed transitions impose a random delay governed byan exponential distribution. MAs are thus a nondeterministic variation of continuous-timeMarkov chains. MAs are compositional and are...
متن کاملMarkov Decision Processes with Multiple Long-Run Average Objectives
We consider Markov decision processes (MDPs) with multiple long-run average objectives. Such MDPs occur in design problems where one wishes to simultaneously optimize several criteria, for example, latency and power. The possible trade-offs between the different objectives are characterized by the Pareto curve. We show that every Pareto optimal point can be ε-approximated by a memoryless strate...
متن کاملStochastic Real-Time Games with Qualitative Timed Automata Objectives
We consider two-player stochastic games over real-time probabilistic processes where the winning objective is specified by a timed automaton. The goal of player is to play in such a way that the play (a timed word) is accepted by the timed automaton with probability one. Player ^ aims at the opposite. We prove that whenever player has a winning strategy, then she also has a strategy that can be...
متن کاملLearning to Translate with Multiple Objectives
We introduce an approach to optimize a machine translation (MT) system on multiple metrics simultaneously. Different metrics (e.g. BLEU, TER) focus on different aspects of translation quality; our multi-objective approach leverages these diverse aspects to improve overall quality. Our approach is based on the theory of Pareto Optimality. It is simple to implement on top of existing single-objec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Methods in System Design
سال: 2021
ISSN: 0925-9856,1572-8102
DOI: 10.1007/s10703-021-00364-6